if $b$ then $t$ else $f$ fi  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case $b$ of inl() =$>$ $t$ $\mid$ inr() =$>$ $f$